label: use GtkMisc padding again
authorChristoph Reiter <creiter@src.gnome.org>
Thu, 28 Jan 2016 10:04:48 +0000 (11:04 +0100)
committerChristoph Reiter <creiter@src.gnome.org>
Thu, 28 Jan 2016 10:04:48 +0000 (11:04 +0100)
commit27263f2387b414707d33862335b7e35b0cf722c3
treef196259545077d3db8861d7d478abd3170d5335d
parent79fb921ffc7d19ba85ca3df966d3317c93b382e6
label: use GtkMisc padding again

this was lost in the gadget conversion in a81267c28e4e0368cd0e23b661e1c8c53f8194fb

https://bugzilla.gnome.org/show_bug.cgi?id=760522
gtk/gtklabel.c